世界数学十大未解难题

更多内容，敬请关注：

其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决的问题”

P（多项式算法）问题对NP（非多项式算法）问题

在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。

霍奇(Hodge)猜想

二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

庞加莱(Poincare)猜想

如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。

黎曼(Riemann)假设

有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s$的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。

杨－米尔斯(Yang-Mills)存在性和质量缺口

量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。

几何尺规作图问题

这里所说的“几何尺规作图问题”是指作图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题1.化圆为方－求作一正方形使其面积等於一已知圆；2.三等分任意角；3.倍立方－求作一立方体使其体积是一已知立方体的二倍。4.做正十七边形。以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但后来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。

哥德巴赫猜想

公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想:(a)任何一个>=6之偶数，都可以表示成两个奇质数之和。(b)任何一个>=9之奇数，都可以表示成三个奇质数之和。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。

【哥德巴赫猜想最新最好的成果是中国数学家陈景润的陈氏定理，通俗地讲：哥德巴赫猜想如果简称“1+1”，如今解决的是“1+2”。但是这样说使得许多大众容易产生误会。】

四色猜想

1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。

希尔伯特23问题里尚未解决的问题：

1、问题1连续统假设

全体正整数（被称为可数集）的基数和实数集合（被称为连续统）的基数c之间没有其它基数。

背景：1938年奥地利数学家哥德尔证明此假设在集合论公理系统，即策莫罗-佛朗克尔公理系统里，不可证伪。

1963年美国数学家柯恩证明在该公理系统，不能证明此假设是对的。所以，至今未有人知道，此假设到底是对还是错。

2、问题2算术公理相容性。

背景：哥德尔证明了算术系统的不完备，使希尔伯特的用元数学证明算术公理系统的无矛盾性的想法破灭。

3、问题7某些数的无理性和超越性。

背景：此题为希尔伯特第7问题中的一个特例。已经证明了e^π的超越性，却至今未有人证明e+π的超越性。

4、问题8素数问题。

证明：

ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s+…(s属于复数域)

所定义的函数ζ(s)的零点，除负整实数外，全都具有实部1/2。

背景：

此即黎曼猜想。也就是希尔伯特第8问题。美国数学家用计算机算了ζ(s)函数前300万个零点确实符合猜想。希尔伯特认为黎曼猜想的解决能够使我们严格地去解决歌德巴赫猜想（任一偶数可以分解为两素数之和）和孪生素数猜想（存在无穷多相差为2的素数）。

引申的问题是：素数的表达公式？素数的本质是什么？

5、问题11系数为任意代数数的二次型。

背景：德国和法国数学家在60年代曾取得重大进展。

6、问题12阿贝尔域上的克罗内克定理在任意代数有理域上的推广。

背景：此问题只有些零散的结果，离彻底解决还十分遥远。

7、问题13仅用二元函数解一般7次代数方程的不可能性。
背景：1957苏联数学家解决了连续函数情形。如要求是解析函数则此问题尚未完全解决。

8、问题15舒伯特计数演算的严格基础。

背景：代数簌交点的个数问题。和代数几何学有关。

9、问题16代数曲线和曲面的拓扑。

要求代数曲线含有闭的分枝曲线的最大数目。和微分方程的极限环的最多个数和相对位置。

10、问题18用全等多面体来构造空间。

无限个相等的给定形式的多面体最紧密的排列问题，现在仍未解决。

11、问题20一般边值问题。

偏微分方程的边值问题，正在蓬勃发展。

12、问题23变分法的进一步发展。

希尔伯特23个数学问题及其解决情况

（1）康托的连续统基数问题。

1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。

（2）算术公理系统的无矛盾性。

欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。

（3）只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。

问题的意思是：存在两个登高等底的四面体，它们不可能分解为有限个小四面体，使这两组四面体彼此全等德思（M.Dehn）1900年已解决。

（4）两点间以直线为距离最短线问题。

此问题提的一般。满足此性质的几何很多，因而需要加以某些限制条件。1973年，苏联数学家波格列洛夫（Pogleov）宣布，在对称距离情况下，问题获解决。

（5）拓扑学成为李群的条件（拓扑群）。

这一个问题简称连续群的解析性，即是否每一个局部欧氏群都一定是李群。1952年，由格里森（Gleason）、蒙哥马利（Montgomery）、齐宾（Zippin）共同解决。1953年，日本的山迈英彦已得到完全肯定的结果。

（6）对数学起重要作用的物理学的公理化。

1933年，苏联数学家柯尔莫哥洛夫将概率论公理化。后来，在量子力学、量子场论方面取得成功。但对物理学各个分支能否全盘公理化，很多人有怀疑。

（7）某些数的超越性的证明。

需证：如果α是代数数，β是无理数的代数数，那么αβ一定是超越数或至少是无理数（例如，2√2和eπ）。苏联的盖尔封特（Gelfond）1929年、德国的施奈德（Schneider）及西格尔（Siegel）1935年分别独立地证明了其正确性。但超越数理论还远未完成。目前，确定所给的数是否超越数，尚无统一的方法。

（8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。

素数是一个很古老的研究领域。希尔伯特在此提到黎曼（Riemann）猜想、哥德巴赫（Goldbach）猜想以及孪生素数问题。黎曼猜想至今未解决。哥德巴赫猜想和孪生素数问题目前也未最终解决，其最佳结果均属中国数学家陈景润。

（9）一般互反律在任意数域中的证明。

1921年由日本的高木贞治，1927年由德国的阿廷（E.Artin）各自给以基本解决。而类域理论至今还在发展之中。

（10）能否通过有限步骤来判定不定方程是否存在有理整数解？

求出一个整数系数方程的整数根，称为丢番图（约210-290，古希腊数学家）方程可解。1950年前后，美国数学家戴维斯（Davis）、普特南（Putnan）、罗宾逊（Robinson）等取得关键性突破。1970年，巴克尔（Baker）、费罗斯（Philos）对含两个未知数的方程取得肯定结论。1970年。苏联数学家马蒂塞维奇最终证明：在一般情况答案是否定的。尽管得出了否定的结果，却产生了一系列很有价值的副产品，其中不少和计算机科学有密切联系。

（11）一般代数数域内的二次型论。

德国数学家哈塞（Hasse）和西格尔（Siegel）在20年代获重要结果。60年代，法国数学家魏依（A.Weil）取得了新进展。

（12）类域的构成问题。

即将阿贝尔域上的克罗内克定理推广到任意的代数有理域上去。此问题仅有一些零星结果，离彻底解决还很远。

（13）一般七次代数方程以二变量连续函数之组合求解的不可能性。

七次方程x7+ax3+bx2+cx+1=0的根依赖于3个参数a、b、c；x=x(a,b,c)。这一函数能否用两变量函数表示出来？此问题已接近解决。1957年，苏联数学家阿诺尔德（Arnold）证明了任一在［0，1］上连续的实函数f(x1，x2，x3)可写成形式∑hi(ξi(x1,x2),x3)(i=1--9)，这里hi和ξi为连续实函数。柯尔莫哥洛夫证明f(x1，x2，x3)可写成形式∑hi(ξi1(x1)+ξi2(x2)+ξi3(x3))(i=1--7)这里hi和ξi为连续实函数，ξij的选取可与f完全无关。1964年，维土斯金（Vituskin）推广到连续可微情形，对解析函数情形则未解决。

（14）某些完备函数系的有限的证明。

即域K上的以x1,x2,…,xn为自变量的多项式fi（i=1,…，m），R为K［X1，…，Xm]上的有理函数F（X1，…，Xm）构成的环，并且F（f1，…，fm）∈K[x1，…，xm]试问R是否可由有限个元素F1，…，FN的多项式生成？这个与代数不变量问题有关的问题，日本数学家永田雅宜于1959年用漂亮的反例给出了否定的解决。

（15）建立代数几何学的基础。

荷兰数学家范德瓦尔登1938年至1940年，魏依1950年已解决。

注：舒伯特（Schubert）计数演算的严格基础。

一个典型的问题是：在三维空间中有四条直线，问有几条直线能和这四条直线都相交？舒伯特给出了一个直观的解法。希尔伯特要求将问题一般化，并给以严格基础。现在已有了一些可计算的方法，它和代数几何学有密切的关系。但严格的基础至今仍未建立。

（16）代数曲线和曲面的拓扑研究。

此问题前半部涉及代数曲线含有闭的分枝曲线的最大数目。后半部要求讨论备dx/dy=Y/X的极限环的最多个数N（n）和相对位置，其中X、Y是x、y的n次多项式。对n=2（即二次系统）的情况，1934年福罗献尔得到N(2)≥1；1952年鲍廷得到N(2)≥3；1955年苏联的波德洛夫斯基宣布N(2)≤3，这个曾震动一时的结果，由于其中的若干引理被否定而成疑问。关于相对位置，中国数学家董金柱、叶彦谦1957年证明了（E2）不超过两串。1957年，中国数学家秦元勋和蒲富金具体给出了n＝2的方程具有至少3个成串极限环的实例。1978年，中国的史松龄在秦元勋、华罗庚的指导下，与王明淑分别举出至少有4个极限环的具体例子。

1983年，秦元勋进一步证明了二次系统最多有4个极限环，并且是（1，3）结构，从而最终地解决了二次微分方程的解的结构问题，并为研究希尔伯特第（16）问题提供了新的途径。

（17）半正定形式的平方和表示。

实系数有理函数f(x1,…，xn)对任意数组（x1，…,xn）都恒大于或等于0，确定f是否都能写成有理函数的平方和？1927年阿廷已肯定地解决。

（18）用全等多面体构造空间。

德国数学家比贝尔巴赫（Bieberbach）1910年，莱因哈特（Reinhart）1928年作出部分解决。

（19）正则变分问题的解是否总是解析函数？

德国数学家伯恩斯坦（Bernrtein，1929）和苏联数学家彼德罗夫斯基（1939）已解决。

（20）研究一般边值问题。

此问题进展迅速，己成为一个很大的数学分支。日前还在继读发展。

（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。

此问题属线性常微分方程的大范围理论。希尔伯特本人于1905年、勒尔（H.Rohrl）于1957年分别得出重要结果。1970年法国数学家德利涅（Deligne）作出了出色贡献。

（22）用自守函数将解析函数单值化。

此问题涉及艰深的黎曼曲面理论，1907年克伯（P.Koebe）对一个变量情形已解决而使问题的研究获重要突破。其它方面尚未解决。

（23）发展变分学方法的研究。

这不是一个明确的数学问题。20世纪变分法有了很大发展。可见，希尔伯特提出的问题是相当艰深的。正因为艰深，才吸引有志之士去作巨大的努力。

END

往期精彩回顾：